____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Primelement
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Der Begriff Primelement ist in der kommutativen Algebra eine Verallgemeinerung des Begriffs der Primzahl auf kommutative unitΓ€re Ringe.
Contents
β’ Definition
β’ Beispiele
β’ Einzelnachweise
β’ Weblinks
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Definition
Ein Element c {\displaystyle c} eines kommutativen unitΓ€ren Ringes ( R , + , β
β
, 0 , 1 ) {\displaystyle (R,+,\cdot ,0,1)} heiΓt Primelement, falls c {\displaystyle c} weder 0 noch eine Einheit ist und fΓΌr alle a , b β β R {\displaystyle a,b\in R} gilt: Teilt c {\displaystyle c} das Produkt a β
β
b {\displaystyle a\cdot b} , dann teilt c {\displaystyle c} auch a {\displaystyle a} oder b {\displaystyle b} .
In Symbolnotation: c ist prim β β c β β 0 β§ β§ c β€ β€ 1 β§ β§ β β a , b β β R : c β£ β£ ( a β
β
b ) β β ( c β£ β£ a ) β¨ β¨ ( c β£ β£ b ) . {\displaystyle c{\mbox{ ist prim }}\Leftrightarrow \ c\neq 0\ \land \ c\nmid 1\ \land \ \forall a,b\in R:\ c\mid (a\cdot b)\Rightarrow (c\mid a)\lor (c\mid b).}
Primelemente sind also diejenigen Elemente abgesehen von 0 und Einheiten, die, wenn sie in irgendeinem Produkt vorkommen, auch in mindestens einem der Faktoren vorkommen.cite-ref-bosch201-1-0[1]
Irreduzible Elemente
Eine andere Verallgemeinerung des Primzahlbegriffs sind irreduzible Elemente, die dadurch definiert sind, dass sie keine Einheiten sind und nicht als Produkt von zwei Nicht-Einheiten dargestellt werden kΓΆnnen. Im Allgemeinen ist weder jedes Primelement irreduzibel noch jedes irreduzible Element prim (siehe Beispiele). Aber in einem IntegritΓ€tsring ist jedes Primelement irreduzibel, und in einem faktoriellen Ring ist auch umgekehrt jedes irreduzible Element prim.
SΓ€tze ΓΌber Primelemente
β’ Ist c {\displaystyle c} ein Primelement und e {\displaystyle e} eine Einheit, so ist c β
β
e {\displaystyle c\cdot e} ebenfalls ein Primelement.
β’ Eine Nichteinheit c β β 0 {\displaystyle c\neq 0} ist genau dann ein Primelement, wenn das Hauptideal ( c ) {\displaystyle (c)} ein Primideal ist.
β’ Ein KΓΆrper besteht nur aus der Null und Einheiten und enthΓ€lt somit keine Primelemente.
β’ In einem faktoriellen Ring lΓ€sst sich jedes Element auΓer 0 bis auf Einheitsfaktoren und Reihenfolge eindeutig als Produkt von Primelementen darstellen.
Beispiele
β’ Die Primelemente im Ring der ganzen Zahlen sind genau die Primzahlen (2, 3, 5, 7, 11, β¦) und ihre Gegenzahlen (β2, β3, β5, β7, β11, β¦).
β’ Die Primelemente im Ring der GauΓschen Zahlen Z [ i ] {\displaystyle \mathbb {Z} [i]} sind bis auf die Einheitsfaktoren Β± Β± 1 , Β± Β± i {\displaystyle \pm 1,\pm i} genau die Primzahlen der Form 4 k + 3 , k β β Z {\displaystyle 4k+3,\ k\in \mathbb {Z} } und die Elemente a + b β
β
i , a , b β β Z {\displaystyle a+b\cdot i,\ a,b\in \mathbb {Z} } , fΓΌr die a 2 + b 2 {\displaystyle a^{2}+b^{2}} eine Primzahl ist, also sind beispielsweise 3 , 7 , 11 , 1 + i , 2 + 3 i {\displaystyle 3,\,7,\,11,\,1+i,\,2+3i} Primelemente, nicht aber 2 = ( 1 + i ) β
β
( 1 β β i ) {\displaystyle 2=(1+i)\cdot (1-i)} , 5 = ( 2 + i ) β
β
( 2 β β i ) {\displaystyle 5=(2+i)\cdot (2-i)} oder 3 + i = ( 1 + i ) β
β
( 2 β β i ) {\displaystyle 3+i=(1+i)\cdot (2-i)} (zum Beweis siehe Fermats Zwei-Quadrate-Satz).
β’ Im IntegritΓ€tsring Z [ i 5 ] {\displaystyle \mathbb {Z} [i{\sqrt {5}}]} (enthΓ€lt alle Zahlen der Form a + b β
β
i 5 {\displaystyle a+b\cdot i{\sqrt {5}}} mit a , b β β Z {\displaystyle a,b\in \mathbb {Z} } ) ist die Zahl 2 irreduzibel, aber nicht prim. Das ist so, weil 6 zwar von 2 geteilt wird, sich aber als Produkt ( 1 + i 5 ) β
β
( 1 β β i 5 ) {\displaystyle (1+i{\sqrt {5}})\cdot (1-i{\sqrt {5}})} schreiben lΓ€sst, wobei keiner der Faktoren durch 2 teilbar ist.
β’ Im Produktring Z Γ Γ Z {\displaystyle \mathbb {Z} \times \mathbb {Z} } ist ( 1 , 0 ) = ( 1 , 0 ) β
β
( 1 , 0 ) {\displaystyle (1,0)=(1,0)\cdot (1,0)} ein Primelement, das nicht irreduzibel ist.
Einzelnachweise
cite-note-bosch201-11. β Siegfried Bosch: Algebra. 7. Auflage 2009, Springer-Verlag, ISBN 3-540-40388-4, S. 201.
Weblinks
Wiktionary: Primelement
β BedeutungserklΓ€rungen, Wortherkunft, Synonyme, Γbersetzungen